Effective interactive resolution of static analysis alarms
نویسندگان
چکیده
منابع مشابه
Static Analysis of Triangular Plates
This paper may be regarded as a new numerical method for the analysis of triangular thin plates using the natural area coordinates. Previous studies on the solution of triangular plates with different boundary conditions are mostly based on the Rayleigh-Ritz principle which is performed in the Cartesian coordinates. Consequently, manipulation of the geometry and numerical calculation of the int...
متن کاملStatic Analysis of Information Release in Interactive Programs
In this paper we present a model for analysing information release (or leakage) in programs written in a simple imperative language. We present the semantics of the language, an attacker model, and the notion of an information release policy. Our key contribution is the use of static analysis to compute information release of programs and to verify it against a policy. We demonstrate our approa...
متن کاملStatic Analysis of Triangular Plates
This paper may be regarded as a new numerical method for the analysis of triangular thin plates using the natural area coordinates. Previous studies on the solution of triangular plates with different boundary conditions are mostly based on the Rayleigh-Ritz principle which is performed in the Cartesian coordinates. Consequently, manipulation of the geometry and numerical calculation of the int...
متن کاملInferring Effective Types for Static Analysis of C Programs
The C language does not have a specific Boolean type: Boolean values are encoded with integers. This is also true for enumerated types, that may be freely and silently cast to and from integers. On the other hand, verification tools aiming at inferring the possible values of variables at each program point may benefit from the information that some (integer) variables are used solely as Boolean...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the ACM on Programming Languages
سال: 2017
ISSN: 2475-1421
DOI: 10.1145/3133881